Opaque types

不透明型

内部構造が隠蔽された型で、なにを表しているかは分かるがその内部の詳細は見えない

code:scala

object DefScope:

opaque type LastName = String

object LastName:

def apply(s: String): LastName = s